881![LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom LEO-II and Satallax on the Sledgehammer Test Bench Nik Sultanaa,∗, Jasmin Christian Blanchetteb , Lawrence C. Paulsona a Computer b Institut Laboratory, University of Cambridge, United Kingdom](https://www.pdfsearch.io/img/5bca1134f291cf2ecd35083bedac89c4.jpg) | Add to Reading ListSource URL: www21.in.tum.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
882![Applied mathematics / Formal methods / Logic in computer science / Constraint programming / Boolean algebra / Boolean satisfiability problem / Resolution / Unit propagation / Clause / Theoretical computer science / Automated theorem proving / Mathematics Applied mathematics / Formal methods / Logic in computer science / Constraint programming / Boolean algebra / Boolean satisfiability problem / Resolution / Unit propagation / Clause / Theoretical computer science / Automated theorem proving / Mathematics](/pdf-icon.png) | Add to Reading ListSource URL: www.cs.toronto.eduLanguage: English - Date: 2002-05-15 13:05:48
|
---|
883![Language-Based Verification Will Change The World Tim Sheard Aaron Stump Stephanie Weirich Language-Based Verification Will Change The World Tim Sheard Aaron Stump Stephanie Weirich](https://www.pdfsearch.io/img/a8403fcc7292ef93e97d3211e18e740d.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2014-07-10 05:47:06
|
---|
884![Hammering towards QED Jasmin C. Blanchette Technische Universit¨at M¨ unchen Cezary Kaliszyk University of Innsbruck, Austria Hammering towards QED Jasmin C. Blanchette Technische Universit¨at M¨ unchen Cezary Kaliszyk University of Innsbruck, Austria](https://www.pdfsearch.io/img/5ea81d4942e081c37bfc9f467cbad6f0.jpg) | Add to Reading ListSource URL: www21.in.tum.deLanguage: English - Date: 2015-01-25 16:18:54
|
---|
885![My Life with an Automatic Theorem Prover Jasmin Christian Blanchette Technische Universität München, Germany Abstract Sledgehammer integrates third-party automatic theorem provers in the proof assistant Isabelle/HOL. I My Life with an Automatic Theorem Prover Jasmin Christian Blanchette Technische Universität München, Germany Abstract Sledgehammer integrates third-party automatic theorem provers in the proof assistant Isabelle/HOL. I](https://www.pdfsearch.io/img/cf9ae4d66aeea20934ca913409dff98f.jpg) | Add to Reading ListSource URL: www21.in.tum.deLanguage: English - Date: 2014-06-02 12:21:13
|
---|
886![Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract Dependent Types: Easy as P IE Work-In-Progress Project Description Dimitrios Vytiniotis and Stephanie Weirich University of Pennsylvania Abstract](https://www.pdfsearch.io/img/396fb2085e950822d1a4d54b16016b6c.jpg) | Add to Reading ListSource URL: www.seas.upenn.eduLanguage: English - Date: 2014-07-10 05:47:26
|
---|
887![MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2 MaSh: Machine Learning for Sledgehammer Daniel Kühlwein1 , Jasmin Christian Blanchette2 , Cezary Kaliszyk3 , and Josef Urban1 1 2](https://www.pdfsearch.io/img/2d7674a139f431472a94dfc85641fbeb.jpg) | Add to Reading ListSource URL: www21.in.tum.deLanguage: English - Date: 2015-03-13 06:06:51
|
---|
888![Isabelle and Security Jasmin Christian Blanchette1,2 and Andrei Popescu3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany Isabelle and Security Jasmin Christian Blanchette1,2 and Andrei Popescu3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Saarbrücken, Germany](https://www.pdfsearch.io/img/2c2bd41060e41003523fc27084b0e1f7.jpg) | Add to Reading ListSource URL: www21.in.tum.deLanguage: English - Date: 2015-02-24 07:25:16
|
---|
889![Maintaining Distributed Logic Programs Incrementally Vivek Nigam1 , Limin Jia2 , Boon Thau Loo3 , Andre Scedrov3 Abstract Distributed logic programming languages, which allow both facts and programs to be distributed amo Maintaining Distributed Logic Programs Incrementally Vivek Nigam1 , Limin Jia2 , Boon Thau Loo3 , Andre Scedrov3 Abstract Distributed logic programming languages, which allow both facts and programs to be distributed amo](https://www.pdfsearch.io/img/83d9158d48572cc248a347b2954f01ee.jpg) | Add to Reading ListSource URL: www.andrew.cmu.eduLanguage: English - Date: 2014-11-11 20:30:18
|
---|
890![« Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology « Abstract Interpretation–based Formal Verification of Complex Computer Systems » Patrick Cousot Jerome C. Hunsaker Visiting Professor Department of Aeronautics and Astronautics Massachusetts Institute of Technology](https://www.pdfsearch.io/img/656eab929dc92736cec291f13d3c2586.jpg) | Add to Reading ListSource URL: www.mit.eduLanguage: English - Date: 2005-05-01 14:30:35
|
---|